fn f() -> ((Int) -> Int) {
  fn (x: Int) { x }
}